一階述語論理
ACL2 — A Computational Logic for Applicative Common Lisp
Aristotelian logic
Equiconsistency
Ehrenfeucht-Fraisse game
existential quantifier
存在汎化
存在例化
量化
実存、存在、実在、現存、生存
Cogito, ergo sum
Conservation law (physics)
Existence precedes essence
Existence theorem
quantification
全称量化
存在量化
述語論理
一階述語論理 - 二階述語論理
first-order logic
predicate logic
真理値表
Boolean domain
Boolean-valued function
Espresso heuristic logic minimizer
Excitation table
first-order predicate logic
数理論理学
ロビンソン算術
コンパクト性定理
論理積
And-inverter graph
AND gate
Bitwise AND
Boolean algebra (logic)
論理和
OR
Affirming a disjunct
Bitwise OR
排他的論理和
XOR ; EOR
Material conditional • (Paradox)
Ampheck